Uncertainty Feature Optimization: an Implicit Paradigm for Problems with Noisy Data Niklaus Eggenberg, Transport and Mobility Laboratory, EPFL Matteo Salani, Transport and Mobility Laboratory, EPFL Michel Bierlaire, Tran

Source URL: www.strc.ch

• Mathematical optimization
• Operations research
• Mathematical analysis
• Analysis
• Applied mathematics
• Stochastic programming
• Robust optimization
• Multi-objective optimization
• Constraint
• Linear programming
• Optimization problem
• Scenario optimization

1 Under consideration for publication in Theory and Practice of Logic Programming As Time Goes By: Constraint Handling Rules A Survey of CHR Research from 1998 to 2007

Source URL: people.cs.kuleuven.be

Oil & Gas Science and Technology – Rev. IFP, Vol), No. 1, ppc 2009, Institut français du pétrole Copyright  DOI: ogstIFP International Conference

Source URL: ogst.ifpenergiesnouvelles.fr

• Mathematical optimization
• Operations research
• Systems science
• Equations
• Systems theory
• Numerical analysis
• Optimal control
• Dynamic programming
• Constraint
• Bellman equation

Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming Rafael Caballero, Mario Rodr´ıguez Artalejo, and Rafael del Vado V´ırseda Dep. Sistemas Inform´ aticos y Programaci´ on, Univ. Comp

Source URL: gpd.sip.ucm.es

A Lazy Narrowing Calculus for Declarative Constraint ∗ Programming F. J. Lopez-Fraguas ´

Source URL: gpd.sip.ucm.es

Electronic Notes in Theoretical Computer Science (Preliminary Versions) 15th workshop on functional and (constraint) logic programming WFLP’06

Source URL: gpd.sip.ucm.es

Finite Type Extensions in Constraint Programming Rafael Caballero Peter J. Stuckey Antonio Tenorio-Fornés

Source URL: gpd.sip.ucm.es

Generation of Test Data Structures Using Constraint Logic Programming Valerio Senni1 , Fabio Fioravanti2 1 Department

Source URL: www.sci.unich.it

PDF Document

Source URL: st.inf.tu-dresden.de

• Software
• Computing
• Unified Modeling Language
• Eclipse
• Object Constraint Language
• Integrated development environments
• ECO
• Object-oriented programming languages
• Domain-specific language
• Scala
• OCL
• Xtend

PDF Document

Source URL: www.kestrel.edu

• Mathematics
• Algebra
• Abstract algebra
• Boolean algebra
• Algebraic structures
• Constraint programming
• Electronic design automation
• Formal methods
• Boolean satisfiability problem
• DPLL algorithm
• Conjunctive normal form
• Propositional calculus